1961. The Logic of theory change : Workshop, Konstanz, FRG, October 13-15, 1989 : proceedings
پدیدآورنده: A. Fuhrmann, M. Morreau )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
465
1962. The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
L5663
1991
1963. <The> Logical Foundations of Scientific Theories
پدیدآورنده: \ Décio Krause and Jonas R. B. Arenhart
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical,منطق ریاضی
رده :
E-Book
,
1964. The Ordered Weighted Averaging Operators
پدیدآورنده: edited by Ronald R. Yager, Janusz Kacprzyk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Information Systems.,Logic, Symbolic and mathematical.,Mathematics.
1965. <The> Oxford Handbook of Philosophy of Mathematics and Logic
پدیدآورنده: / edited by Stewart Shapiro
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع: ریاضیات, -- فلسفه,Mathematics - Philosophy,Logic, Symbolic and mathematical - Philosophy
رده :
QA8
,.
4
.
O94
1966. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده: edited by Stewart Shapiro
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع: Philosophy ، Mathematics,Philosophy ، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
O94
2005
1967. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده: edited by Stewart Shapiro
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Handbooks, manuals, etc ، Mathematics -- Philosophy,Philosophy -- Handbooks, manuals, etc ، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
O964
1968. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده: / edited by Stewart Shapiro
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics , Philosophy,Logic, Symbolic and mathematical , Philosophy
رده :
E-BOOK
1969. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Philosophy ، Mathematics,Philosophy ، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
O94
2005
1970. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده: / edited by Stewart Shapiro
کتابخانه: كتابخانه جامع جامعة المصطفی (ص) العالمية (قم)
موضوع: Mathematics -- Philosophy,Logic, Symbolic and mathematical. -- Philosophy
رده :
QA8
.
4
.
O94
2005
1971. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده: edited by Stewart Shapiro
کتابخانه: کتابخانه و مرکز اسناد فرهنگستان هنر (تهران)
موضوع: ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical -- Philosophy
رده :
QA
8
.
4
.
O94
2005
1972. The P=NP question and Geodel's lost letter
پدیدآورنده: Richard J. Lipton
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical
رده :
QA
،
9
.
65
،.
L57
،
2010
1973. The P=NP question and Geodel's lost letter
پدیدآورنده: / Richard J. Lipton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical
رده :
E-BOOK
1974. The Palgrave centenary companion to Principia Mathematica
پدیدآورنده: edited by Nicholas Griffin and Bernard Linsky.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Russell, Bertrand, -- 1872-1970. -- Principles of mathematics.,Whitehead, Alfred North, -- 1861-1947.
رده :
QA9
.
W53
E358
9999
1975. The Palgrave centenary companion to Principia mathematica /
پدیدآورنده: edited by Nicholas Griffin, McMaster University, Canada and Bernard Linsky, University of Alberta, Canada
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Russell, Bertrand,1872-1970., Principia mathematica,Whitehead, Alfred North,1861-1947., Principia mathematica,Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA9
.
W53
P35
2013
1976. The Real Number
پدیدآورنده: / by John Stillwell
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
1977. The strange logic of random graphs
پدیدآورنده: Spencer, Joel H.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Random graphs,، Logic, Symbolic and mathematical
رده :
QA
166
.
17
.
S64
2001
1978. The Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Methodology-- Congresses ، Science,Congresses ، Science-- Philosophy
رده :
Q
174
.
I58
1995
1979. The Theory of Classes of Groups
پدیدآورنده: by Guo Wenbin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra.,Chemistry-- Mathematics.,Group theory.,Logic, Symbolic and mathematical.,Mathematics.
